LostTypeError.agda:23,27-32
y != x of type A
when checking that the expression box x has type Box
